منابع مشابه
Politiques de gestion de protections pour l'implémentation de sections critiques
L’exploitation des architectures multicœurs repose sur une bonne gestion du parallélisme à l’intérieur des applications. Une telle gestion nécessite notamment d’éviter les conflits d’accès (ou race conditions) aux variables partagées entre plusieurs processus. Ceci peut se faire par l’introduction de sections critiques destinées à protéger les accès à ces variables. L’exécution atomique de ces ...
متن کاملPropriété Intellectuelle dans le Commerce Électronique: Tatouage de Livres Électroniques
Résumé. La nécessité de trouver des solutions à même de garantir le droit à la propriété augmente au fur et à mesure que le commerce électronique prend de l’essor. En effet, les internautes ont tendance à penser que du moment qu’ils ont payé pour s’octroyer un article, ils sont autorisés à s’en servir librement, et en général cet usage est effectué sans tenir compte du respect des droits des cr...
متن کاملAnalyse de dépendances ML pour les évaluateurs de logiciels critiques
Critical software needs to obtain an assessment before commissioning in order to ensure compliance with standards. This assessment is given after a long task of software analysis performed by assessors. They may be helped by tools, used interactively, to build models using information-flow analyses. Tools like SPARK-Ada exist for Ada subsets used for critical software. But some emergent languag...
متن کاملDe la Médecine, Tome I, livres I-II
The new Bude edition of the Roman encyclopaedist Celsus begins promisingly. It marks an improvement over the standard, 1915, edition of F Marx, from whichW G Spencer made his Loeb translation, not only by removing many of its idiosyncratic spellings but also by being able to take account of a new manuscript, Toledo 97,12. While in general agreeing with MS. J., the new manuscript alone has the c...
متن کاملNumérisation et codage des caractères de livres anciens
RÉSUMÉ. La numérisation des livres anciens n’a pas été abordée aussi bien que celle des ouvrages manuscrits anciens, du moins en ce qui concerne les caractères. Or, avant de faire de la reconnaissance de caractères, encore faut-il avoir un certaine connaissance de ceux-ci. Par ailleurs, restituer un ouvrage avec ses caractéristiques typographiques peut induire des recherches qui sinon seraient ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin des Médecins Suisses
سال: 2020
ISSN: 1424-4012
DOI: 10.4414/bms.2020.19131